How to Install prover9 software package in Ubuntu 14.04 LTS (Trusty Tahr)

How to Install prover9 software package in Ubuntu 14.04 LTS (Trusty Tahr)

prover9 software package provides theorem prover and countermodel generator, you can install in your Ubuntu 14.04 LTS (Trusty Tahr) by running the commands given below on the terminal,

$ sudo apt-get update
$ sudo apt-get install prover9

prover9 is installed in your system.

Make ensure the prover9 package were installed using the commands given below,

$ sudo dpkg-query -l | grep prover9 *

You will get with prover9 package name, version, architecture and description in a table

prover9 package basic information:

Distro Ubuntu 14 04 lts trusty tahr
Section Mathematics
Package prover9
Version 0.0.200911a-2
Description theorem prover and countermodel generator
Sub Section math


See Also, How to uninstall or remove prover9 software package from Ubuntu 14.04 LTS (Trusty Tahr)?


Search
How to Disable some dangerous PHP FunctionOracle Basic Commands for Linux SystemLinux : 503 Service Unavailable Reverse Proxy on ApacheHow to Set Root Password in MemSQL on LinuxResolved: Got permission denied while trying to connect to the Docker daemon socket in DockerHow to fix: destination path already exists error while trying to clone the git repo in Ansible?How to fix :net/http: request canceled while waiting for connection error in Terraform?
Error : Connection Refused By Host in NagiosHow to Set Archive Mode Log Files on Oracle 11GNGINX Error: pcre_compile() Failed: Nothing to Repeat on LinuxHow to Fix : MongoDB Could not start on Linux How to Fix WordPress Posts Returning 404 Error Linux / WindowsMissing credentials in config, if using AWS_CONFIG_FILE in AWS CLIphpMyAdmin - mismatch between HTTPS indicated on the server and clientHow to Redirect from Sub Folder or Directory to Root Directory Using htaccessInstall and Configure NGINX with RTMP Protocol for Live StreamingHow do I avoid unwanted path in zip file?